Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Getting Hands-On with Kerbrute: Practical AD Enumeration & Attack Tactics
infosecwriteups.comยท1d
๐Ÿ”’LDAP Security
Microsoft Adds Agentic AI Capabilities to Sentinel
darkreading.comยท3h
๐Ÿ“ŠHomelab Monitoring
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”’Language-based security
How the Growth of AI May Drive a Fundamental Step-Change in the Domain Name Landscape
circleid.comยท1d
๐Ÿ“กDNS Archaeology
Codeminer42 Dev Weekly #82
blog.codeminer42.comยท1h
๐ŸŽฏGradual Typing
Efficient and accurate search in petabase-scale sequence repositories
nature.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
CodeSOD: A JSON Serializer
thedailywtf.comยท1d
๐Ÿ“ฆDeflate
Offensive OSINT s05e10 - Interactive investigative stories part 1
offensiveosint.ioยท2d
๐ŸŒWARC Forensics
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
CubicLog โ€“ A single-binary logging server with zero-config smart analytics
github.comยท21hยท
Discuss: Hacker News
๐Ÿ“Log Parsing
Unlock Your Enterprise Data: A Java/Spring Guide to AI-Ready Schema.org & JSON-LD
dev.toยท1dยท
Discuss: DEV
๐Ÿ“‹Document Grammar
Air: A Pioneering AI-First Python Web Framework โ€“ Audrey.feldroy.com
audrey.feldroy.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
The Death of the Curious Developer
hackernoon.comยท13h
๐ŸงญContent Discovery
Experimenting with ACL2 and Claude Code
mikedodds.orgยท7hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle